Square root of 2 is irrational